Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology

Source URL: www.mit.edu

• Contract law
• Patrick Cousot
• Abstract interpretation
• Computer arithmetic
• Printf format string
• Caron
• Implied warranty
• Floating point
• ALGOL 68
• Software engineering
• Computing
• Computer programming

Piecewise-Defined Ranking Functions∗ Caterina Urban1 1 École Normale Supérieure - CNRS - INRIA Paris, France

Source URL: www.imn.htwk-leipzig.de

• Abstract interpretation
• Piecewise
• Function
• Maxima and minima
• Patrick Cousot
• Convex function
• Partial function
• Piecewise linear function
• Mathematical analysis
• Mathematics
• Functions and mappings

The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed]

Source URL: www.sas2012.ens.fr

• Theoretical computer science
• Abstract interpretation
• Applied mathematics
• Model checking
• Program analysis
• Abstract management
• Formal verification
• Software bug
• Computer science
• Formal methods
• Logic in computer science
• Patrick Cousot

Proving the Absence of Run-Time Errors in Safety-Critical Avionics Code Patrick Cousot École normale supérieure, 45 rue d’Ulm, 75230 Paris cedex 05, France , www.di.ens.fr/ cousot

Source URL: www.di.ens.fr

• Abstract interpretation
• Astrée
• Patrick Cousot
• ALGOL 68
• Abstraction
• Program analysis
• Symbolic computation
• SAS
• Programming language theory
• Software engineering
• Computing

Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed]

Source URL: www.kestreltechnology.com

• Program analysis
• Data types
• Software testing
• Abstract interpretation
• Static program analysis
• Patrick Cousot
• Software verification
• Type system
• Polyspace
• Software engineering
• Programming language theory
• Computing

The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr

Source URL: vstte.inf.ethz.ch

• Abstract interpretation
• Astrée
• Applied mathematics
• Computer science
• Formal verification
• Patrick Cousot
• Programming language
• Abstraction
• Semantics of programming languages
• Formal methods
• Theoretical computer science
• Logic in computer science

« Interprétation abstraite : application aux logiciels de l’A380 » Patrick Cousot

Source URL: www.di.ens.fr